- недоказуемое высказывание
- unprovable statement
Русско-английский словарь по электронике. 2009.
Русско-английский словарь по электронике. 2009.
непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что … Словарь терминов логики